Computability theory - PDFSEARCH.IO - Document Search Engine

Computability theory
Results: 1231

#	Item
421	A Self-Hosting Evaluator using HOAS A Scheme Pearl Eli Barzilay Northeastern University Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2011-08-12 16:48:16 Lambda calculus Recursion Subroutines Computability theory Theoretical computer science Higher-order abstract syntax Fixed-point combinator Scheme Continuation-passing style Software engineering Computing Computer programming
422	Feasibility and Infeasibility of Secure Computation with Malicious PUFs Dana Dachman-Soled1 , Nils Fleischhacker2 , Jonathan Katz1 , Anna Lysyanskaya3 , and Dominique Schr¨oder2 1 Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-04-29 09:12:17 Models of computation Oblivious transfer Random oracle Oracle machine FO Query IP Advantage Cryptography Theoretical computer science Computability theory
423	The tree machine? Arnaud Spiwack MINES ParisTech Abstract. A variant of Turing machines is introduced where the tape Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2015-02-19 09:03:36 Mathematics Computability theory Formal methods Turing machine Random access machine Computational complexity theory Algorithm Lambda calculus FO Theory of computation Models of computation Theoretical computer science
424	AN OBSERVATION ABOUT VARIATIONS OF THE DIFFIE-HELLMAN ASSUMPTION R. BHASKAR, K. CHANDRASEKARAN, S. LOKAM, P.L. MONTGOMERY, R. VENKATESAN, AND Y. YACOBI Abstract. We generalize the Strong Boneh-Boyen (SBB) signature sche Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2008-12-16 15:26:16 Finite fields Computability theory Alan Turing Turing reduction Reduction Diffie–Hellman problem Theoretical computer science Applied mathematics Computational complexity theory
425	Partial Functions Approaches An Introduction to the Logic of Partial Functions Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:29 Semantics Model theory Boolean algebra Formal methods Computability theory Interpretation Truth table First-order logic Vienna Development Method Mathematical logic Mathematics Logic
426	T H E R E Is N o S O F T W A R E K he Add to Reading List Source URL: raley.english.ucsb.edu Language: English - Date: 2012-09-09 19:33:36 Computability theory Turing machine Alan Turing Models of computation Algorithm Finite-state machine Computer Church–Turing thesis Computability Theoretical computer science Theory of computation Computer science
427	Theoretical Computer Science – 366 www.elsevier.com/locate/tcs Adapting innocent game models for the B#ohm tree -theory Andrew D. Ker, Hanno Nickau∗ , C.-H. Luke Ong Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2006-08-03 11:40:10 Mathematical logic Theory of computation Models of computation Formal methods Lambda calculus Computable function Determinacy Numbering Function Computability theory Mathematics Theoretical computer science
428	A Type System for Dynamic Layer Composition Atsushi Igarashi Robert Hirschfeld Hidehiko Masuhara Add to Reading List Source URL: www.hpi.uni-potsdam.de Language: English - Date: 2015-05-08 07:57:29 Vehicle Identification Number Weight Applied mathematics Mathematics Computer science Computability theory Lambda calculus Theoretical computer science
429	CS109B Notes for LectureUnsolvable Problems Some problems have \ecient" solutions, i.e., Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2008-09-19 00:59:26 Theory of computation Computability theory Halting problem Reduction Undecidable problem Computable function Computability Function Algorithm Theoretical computer science Mathematics Applied mathematics
430	Introduction to Computing: Explorations in Language, Logic, and Machines Add to Reading List Source URL: www.computingbook.org Language: English - Date: 2011-08-19 11:52:28 Theoretical computer science Computability theory Turing machine Recursion Models of computation Lambda calculus Programming language Lisp Computability Software engineering Computing Computer programming

UPDATE